REF, NoConds
\\[0ex]THENL($a$; $l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($a$) THENL [$l$])$\cdot$